Terence Tao, Machine Assisted Proof